Finite-state machine

Results: 655



#Item
41408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-04-24 13:47:47
42

PDF Document

Add to Reading List

Source URL: nacloweb.org

Language: English - Date: 2014-09-03 17:43:04
43Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david

Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david

Add to Reading List

Source URL: www.cs.dartmouth.edu

Language: English - Date: 2014-05-19 17:41:59
44Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

Model Checking of Finite-state Machine-based Scenario-aware Dataflow Using Timed Automata Mladen Skelin Department of Engineering Cybernetics, Norwegian University of Science and Technology

Add to Reading List

Source URL: people.cs.aau.dk

Language: English - Date: 2015-08-24 06:49:38
    45OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

    OpenNWA: A Nested-Word Automaton Library⋆ Evan Driscoll1 , Aditya Thakur1 , and Thomas Reps1,2 1 Computer Sciences Department, University of Wisconsin – Madison {driscoll,adi,reps}@cs.wisc.edu

    Add to Reading List

    Source URL: research.cs.wisc.edu

    Language: English - Date: 2012-09-06 17:14:22
    46On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

    On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

    Add to Reading List

    Source URL: www.db.informatik.uni-bremen.de

    Language: English - Date: 2012-12-21 03:16:59
    47Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david

    Finite State Machine Parsing for Internet Protocols: Faster Than You Think Robert David Graham Errata Security robert david

    Add to Reading List

    Source URL: www.cs.dartmouth.edu

    Language: English - Date: 2014-05-19 17:41:59
      48Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

      Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

      Add to Reading List

      Source URL: www.kestrel.edu

      Language: English - Date: 2012-08-02 20:33:11
      49An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email:

      An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email:

      Add to Reading List

      Source URL: alpha.uhasselt.be

      Language: English - Date: 2013-09-27 07:35:34
      50BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for

      BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-11-23 11:27:09